Issue2594.agda:15,1-16,16
Incomplete pattern matching for argh. Missing cases:
  argh true x
when checking the definition of argh
